Abstract Data Type

Abstract data type systems

Polymorphism / Theoretical Computer Science / Lambda Calculus / Higher Order Thinking / Mathematical Sciences / Pure Type Systems / Pattern Matching / First-Order Logic / Functional Type / Abstract Data Type / Programming language / Data Type / Pure Type Systems / Pattern Matching / First-Order Logic / Functional Type / Abstract Data Type / Programming language / Data Type

Inductive-data-type systems

Theoretical Computer Science / Higher Order Thinking / Mathematical Sciences / Computer Model / Pattern Matching / Algebraic Specification / Strong Normalization / Abstract Data Type / Data Type / Functional Language / Algebraic Specification / Strong Normalization / Abstract Data Type / Data Type / Functional Language

Abstract object types: A temporal perspective

Software Engineering / Tools and Techniques / Case Study / Temporal Logic / Abstract Data Type

Modeling Trajectories: A Spatio-Temporal Data Type Approach

Temporal Databases / Time geography / Data Structure / Human behavior / Conceptual Framework / Semantic model / Abstract Data Type / Abstract Data Types / Data Type / Semantic model / Abstract Data Type / Abstract Data Types / Data Type

Copyright © 2017 DADOSPDF Inc.